Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

Indefiniteness makes lattice reduction easier
arxiv.org·2d
🔗Combinatory Logic
Flag this post
The Machine Learning Roadmap
github.com·7h·
Discuss: Hacker News
🎵Audio ML
Flag this post
Olmo 3 is a fully open LLM
simonwillison.net·5h
🌀Brotli Internals
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
New Al Zimmermann's Programming Contests: Powerful Sums
azspcs.com·9h·
Discuss: Hacker News
⚔️Lean Tactics
Flag this post
Automated High-Throughput Functional Protein Screening via Graph-Neural Network Enhanced Microfluidics
dev.to·2h·
Discuss: DEV
🧮Kolmogorov Complexity
Flag this post
The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
Bidirectional Typing
Flag this post
[D] Looking for resources on “problem framing + operational thinking” for ML ?
reddit.com·11h·
🎵Audio ML
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·19h·
Discuss: Substack
💻Programming languages
Flag this post
10 Essential Java Libraries - How Essential Are They Really?
hackernoon.com·1d
📝Concrete Syntax
Flag this post
Show HN: I ended up vibecoding a full fledged interpreter when ads annoyed me
pseudorun.tech·12h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Pitch Multiplication (2017)
klangnewmusic.weebly.com·8h·
Discuss: Hacker News
🎼Audio Lambda Calculus
Flag this post
World Record Broken: 50-Qubit Quantum Computer Fully Simulated for the First Time
scitechdaily.com·8h
⚛️Quantum Tape
Flag this post
People test Nano Banana with PDF paper to whiteboard. I did the exact opposite
quickchat.ai·7h·
Discuss: Hacker News
📄Text Chunking
Flag this post
Solving Real-Time AI Classification for Agentforce: How Single-Token Prediction Delivers 30x Faster Agent Responses
engineering.salesforce.com·2d
🎙️Whisper
Flag this post
Safeguarded AI (Part 2)
johncarlosbaez.wordpress.com·3d
⚙️Proof Engineering
Flag this post
It's LIT! Reliability-Optimized LLMs with Inspectable Tools
arxiv.org·3d
🌀Brotli Internals
Flag this post
Implementing Custom Autocomplete in VSCode
dganev.com·1d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post